Mathematical Concepts and Proofs from Nicole Oresme
نویسندگان
چکیده
منابع مشابه
Mathematical Concepts and Definitions
I Definition and Mathematical Practice The basic observation structuring this survey is that mathematicians often set finding the “right” / “proper” / “correct” / “natural” definition as a research objective, and success finding “the proper” definition can be counted as a significant advance in knowledge. Remarks like these from a retrospective on twentieth century algebraic geometry are common:
متن کاملTutorial Dialogs on Mathematical Proofs
The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated tutoring system for teaching proofs in naive...
متن کاملMathematical Proofs at a Crossroad?
For more than 2000 years, from Pythagoras and Euclid to Hilbert and Bourbaki, mathematical proofs were essentially based on axiomatic-deductive reasoning. In the last decades, the increasing length and complexity of many mathematical proofs led to the expansion of some empirical, experimental, psychological and social aspects, yesterday only marginal, but now changing radically the very essence...
متن کاملComputer Understanding of Mathematical Proofs
Mathematical proofs c o n s t i t u t e a mix ture of formulas w i t h a subset of na tu ra l language. They can be represented as a sequence of l i n e s express i b l e in the symbolism of p red ica te ca l cu lus . The t r a n s i t i o n from step to step may depend on a ser ies o f l o g i c a l manipulat ions and/or on i n t r i cate mathematical knowledge associated w i t h the domain...
متن کاملMathematical Concepts and Physical Objects
Introduction (with F. Bailly) With this text, we will first of all discuss a distinction, internal to mathematics, between "construction principles" and "proof principles" (see [Longo, 1999], [Longo, 2002]). In short, it will be a question of grasping the difference between the construction of mathematical concepts and structures and the role of proof, more or less formalised. The objective is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science & Education
سال: 2005
ISSN: 0926-7220,1573-1901
DOI: 10.1007/s11191-004-7937-y